HASLab

High-Assurance Software Laboratory

Search: ^t

DI/FMHAS Web Changed Changed by
TechnicalReports 19 Jun 2020 - 09:48 - r20 JoseNunoOliveira
Technical Reports LaTeX style file: haslab report.sty 2011 TR HASLab:01:2011 L. S. Barbosa and Dimitrios Settas (eds). Pre Proceedings of the Fifth International ...
Tools 27 Mar 2010 - 15:39 - r4 JoseNunoOliveira
(Under revision) 2LT A two level data transformation system. 2LT is a deliverable of the PURe project. Examples of application include XML schema evolution coupled ...
Found 2 topics.
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM